81. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
6
.
A4583
1988
82. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
83. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A4584
1990
84. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
پدیدآورنده : Michael Hanus, Mario Rodriguez Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
85. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
پدیدآورنده : Giorgio Levi, Mario Rodriguez Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
86. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
87. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
88. Algebraic coding theory and information theory
پدیدآورنده : A. Ashikhmin, A. Barg, editors
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Information theory in mathematics, Congresses,Coding theory, Congresses,Algebraic logic, Congresses
رده :
003
,.
54
,.
A44
,
2005
89. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
پدیدآورنده : A. Ashikhmin, A. Barg, editors
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
A44
2005
90. Algebraic coding theory and information theory: DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
پدیدآورنده : A. Ashikhmin, A. Barg, editors
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
A44
91. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
پدیدآورنده : A. Ashikhmin, A. Barg, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
D55
2003
92. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
93. Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1-4, 1988 : Proceedings
پدیدآورنده : C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L28
Vol
.
425
94. Algorithmic learning theory :
پدیدآورنده : Jyrki Kivinen [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses,Machine learning, Congresses,Artificial intelligence-- Congresses,Computer algorithms-- Congresses
رده :
QA76
.
9
.
A43
A48
2011
95. Ambient communications and computer systems :
پدیدآورنده : Gregorio Martinez Perez, Shailesh Tiwari, Munesh C. Trivedi, Krishn K. Mishra, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ambient intelligence, Congresses.,Computer networks, Congresses.,Telecommunication systems, Congresses.,Ambient intelligence.,Computer networks.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
رده :
TK5101
.
A1
96. Analytical and stochastic modeling techniques and application
پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
97. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
پدیدآورنده : Dietmar Seipel... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3392
98. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده : edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
99. Architecture of computing systems -- ARCS 2018 :
پدیدآورنده : Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,Computer architecture & logic design.,Computer architecture.,Computer networking & communications.,Computers-- Data Transmission Systems-- Electronic Data Interchange.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Network hardware.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
A72
2018eb
100. Argumentation in multi-agent systems
پدیدآورنده : Peter McBurney, Simon Parsons, Iyad Rahwan (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
A74
2011eb
